High Level

On High-Level Low-Level Programming

Integrating High Level and Low Level Planning

We present a possible method for integrating high level and low level planning. To do so, we introduce the global plan random trajectory η0 : [1, T ] → R, measured by goals Gi and governed by the distribution p(η0 | {Gi}i=1). This distribution is combined with the low level robot-crowd planner p(f, f, . . . , f | z1:t) (from [Trautman et al., 2013, Trautman and Krause, 2010]) in the distributio...

High-Level Abstractions for Low-Level Programming

High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon Health & Science University May 2007 Thesis Advisor: Dr. Mark P. Jones Computers are ubiquitous in modern society. They come in all shapes and sizes: from standard household appliances and personal computers, to safety and security critical applications such as vehicle n...

High-Level Optimizations for Low-Level Software

ion, in the presence of a number of interacting analysis tools? We believe this to be an important challenge but have not yet made much progress towards solving it. Of course, machines often have trouble answering “why” questions because they usually do not keep track of the reasons that previous decisions were made, and because the correct answer can depend on the frame of mind of a human. We ...

High-level languages for low-level programming

ions Abstractions have a cost. File systems and network protocols are generic and not tailored to one particular application. We cannot expect an abstraction to be optimal with respect to every application that uses it. Similarly on the PL side one cannot expect a general purpose PL to provide the exact abstractions needed for one particular application. These abstractions too have a cost: they...